机译:在操作上为ARMv8架构建模:并发和ISA
机译:对在TSO和ARMv8内存模型上运行的并发对象进行建模
机译:ARMv8 SIKE:ARMv8处理器上的优化的超奇异基因密钥封装
机译:使用简化的离散事件模拟方法(SDESA)对施工活动中的并行操作中断进行建模
机译:通过定向种族检测简化了语义并发程序的调试。
机译:通过药物经济学模型和对其操作框架的评估来评估塞浦路斯基于价值定价的可行性的一项初步研究:索拉非尼用于二线肾细胞癌
机译:简化ARM并发性:ARMv8的多原子原子公理和操作模型